321. Software Engineering and Formal Methods

پدیدآورنده :

کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)

موضوع : Software engineering -- Congresses.,Formal methods (Computer science) -- Congresses.,نرم‌افزار -- مهندسی-- کنگره‌ها,روش‌های صوری (کامپیوتر) -- کنگره ها

رده :
QA
76
.
758
.
S62
2015
E-Book
,

322. Software Engineering and Formal Methods

پدیدآورنده :

کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)

موضوع : Software engineering -- Congresses.,Formal methods (Computer science) -- Congresses.,Formal methods (Computer science),نرم‌افزار -- مهندسی-- کنگره‌ها,روش‌های صوری (کامپیوتر) -- کنگره ها,(روش‌های صوری (کامپیوتر

رده :
QA
76
.
758
.
S62
2015
E-Book
,

323. Software engineering and formal methods :

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Formal methods (Computer science), Congresses.,Software engineering, Congresses.

رده :
QA76
.
758
.
I58
2011

324. Software engineering education :

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Software engineering -- Study and teaching (Higher),Software engineering -- Study and teaching (Higher) -- Congresses.

325. Software technologies :

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Computer science, Congresses.,Computer software, Congresses.,Computer science.,Computer software.

رده :
QA76
.
758

326. Structured object-oriented formal language and method

پدیدآورنده :

کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)

موضوع : Formal methods (Computer science) -- Congresses,Object-oriented methods (Computer science) -- Congresses.,Logics and Meanings of Programs,روش‌های صوری (کامپیوتر) -- کنگره ها,شی‌گرایی (کامپیوتر) -- کنگره ها

رده :
QA
76
.
9
.
S765
2015
E-Book
,

327. Structured object-oriented formal language and method :

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Formal methods (Computer science), Congresses.,Object-oriented methods (Computer science), Congresses.,Formal methods (Computer science),Object-oriented methods (Computer science)

رده :
QA76
.
9
.
L63

328. System specification and design languages

پدیدآورنده :

کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)

موضوع : Computer hardware description languages--Congresses,Integrated circuits--Very large scale integration--Design and construction--Congresses,Formal methods (Computer science)--Congresses,Software engineering--Congresses,Computer software--Verification--Congresses,Software architecture--Congresses

رده :
TK7885
.
7
.
F35
2012

329. System specification and design languages

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Computer hardware description languages, Congresses,Computer software-- Verification, Congresses,Formal methods (Computer science), Congresses,Integrated circuits-- Very large scale integration-- Design and construction, Congresses,Software architecture, Congresses,Software engineering, Congresses

رده :
TK7885
.
7
.
F35
2010eb

330. TAP Soft T' 85: Proceedings of the international joint conference on theory and practice of software development )TAPSOFT(, Berlin, March 25-29, 1985

پدیدآورنده :

کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)

موضوع : Congresses ، Computer software - Development

رده :
QA
76
.
L4
v
.
185-186

331. Teaching formal methods

پدیدآورنده :

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)

موضوع : Formal methods (Computer science)- Study and teaching- Congresses,Computer software- Development- Study and teaching- Congresses

رده :
QA76
.
9
.
F67
,
T46
2004
R

332. Teaching formal methods : CoLogNET/FME Symposium, TFM 2004, Ghent, Belgium, November 18-19, 2004 : proceedings

پدیدآورنده :

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع : Study and teaching -- Congresses ، Formal methods )Computer science(,Study and teaching -- Congresses ، Computer software -- Development

رده :
QA
76
.
L28
Vol
.
3294

333. Tests and Proofs

کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)

موضوع : Computer software -- Testing -- Congresses,Computer software -- Verification -- Congresses,Formal methods (Computer science) -- Congresses,نرم‌افزار -- آزمایش -- کنگره‌ها,نر‌م‌افزار -- راستی‌آزمایی -- کنگره‌ها,روش‌های صوری (کامپیوتر) -- کنگره‌ها

رده :
E-Book
,

334. Tests and proofs

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Computer software-- Testing, Congresses,Computer software-- Verification, Congresses,Formal methods (Computer science), Congresses

رده :
QA76
.
76
.
T48
T37
2012eb

335. Text, speech, and dialogue :

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Natural language processing (Computer science), Congresses.,Speech processing systems, Congresses.,Text processing (Computer science), Congresses.,Artificial Intelligence.,Artificial intelligence.,Computers-- Intelligence (AI) & Semantics.,Natural language processing (Computer science),Speech processing systems.,Text processing (Computer science)

رده :
QA76
.
9
.
N38

336. The roots of reading comprehension instruction / P. David Pearson -- The development of children's reading comprehension / Scott G. Paris and Ellen E. Hamilton -- In search of the "simple view" of reading comprehension / James V. Hoffman -- Identifying and describing constructively responsive comprehension strategies in new and traditional forms of reading / Peter Afflerbach and Byeong-Young Cho -- Helping readers make sense of print : research that supports a whole language pedagogy / Kenneth S. Goodman and Yetta M. Goodman -- The role of cognitive flexibility in reading comprehension : past, present, and future / Kelly B. Cartwright -- Ways of meaning making : sociocultural perspectives on reading comprehension / James Gavelek and Patrick Bresnahan -- Transactional theory and critical theory in reading comprehension / James S. Damico, Gerald Campano, and Jerome C. Harste -- Grounding reading comprehension in the neuroscience literatures / George G. Hruby -- Text comprehension : a retrospective, perspective, and prospective / Emily Fox and Patricia A. Alexander -- Disciplinary comprehension / Cynthia Shanahan -- The agency and artistry of meaning makers within and across digital spaces / Robert J. Tierney -- Comprehension and computer technology : past results, current knowledge, and future promises / Michael L. Kamil and Helen Kim Chou -- Motivation and reading comprehension / Samuel D. Miller and Beverly S. Faircloth -- Vocabulary and reading comprehension : the nexus of meaning / James F. Baumann -- Cognitive strategy instruction / Janice A. Dole, Jeffery D. Nokes, and Dina Drits -- Metacognitive processes and reading comprehension / Linda Baker and Lisa Carter Beall -- Self-regulated comprehension / Dixie D. Massey -- Formal and informal measures of reading comprehension / Lauren Leslie and Joanne Caldwell -- Assessing comprehension of young children / Katherine A. Dougherty Stahl -- Approaches to teaching reading comprehension / Taffy E. Raphael ... [et al.] -- Comprehension and discussion of text / Janice F. Almasi and Keli Garas-York -- Comprehension instruction in kindergarten through grade three / Cathy Collins Block and Jan Lacina -- Developing higher order comprehension in the middle grades / Ruth Wharton-McDonald and Shannon Swiger -- Improving adolescent comprehension : developing comprehension strategies in the content areas / Mark W. Conley -- Comprehension difficulties among struggling readers / Richard L. Allington and Ann McGill-Franzen -- Reading comprehension and diversity in historical perspective : literacy, power, and native Hawaiians / Kathryn H. Au and Julie Kaomea -- Culturally relevant pedagogy and reading comprehension / Colleen M. Fairbanks ... [et al.] -- Reading comprehension and English language learners / Kathryn Prater -- Family literacy and reading comprehension / Patricia A. Edwards and Jennifer D. Turner -- Improving comprehension instruction through quality professional development / Misty Sailors -- Public policy and the future of reading comprehension research / Cathy Roller -- Where to from here? : themes, trends, and questions / Gerald G. Duffy ... [et al.]. 0

پدیدآورنده :

کتابخانه: كتابخانه مجلس شورای اسلامى (تهران)

337. The superpowers -- "The Arabs are coming!" -- "Jihad!" -- The co-opted caliphate and the stumbling Jihad -- The year 711 -- Picking up the pieces after Rome -- The myth of Poitiers -- The fall and rise of the Umayyads -- Saving the popes -- An empire of force and faith -- Carolingian Jihads: Roncesvalles and Saxony -- The great mosque -- The first Europe, briefly -- Equipoise--delicate and doomed -- Disequilibrium Pelayo's revenge -- Knowledge transmitted, rationa

پدیدآورنده :

کتابخانه: كتابخانه مجلس شورای اسلامى (تهران)

338. Theoretical aspects of computing -- ICTAC 2018 :

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Computer science, Congresses.,Mathematical Logic and Formal Languages.,Artificial intelligence.,Computer programming / software development.,Computer science.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Mathematical theory of computation.,Mathematics-- Logic.,Programming & scripting languages: general.,Software Engineering.

رده :
QA76
.
9
.
L63

339. Theory and Applications of Formal Argumentation.

پدیدآورنده :

کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)

موضوع : Formal methods (Computer science) -- Congresses.,Computer logic -- Congresses.,Artificial intelligence -- Congresses.,روش‌های صوری (کامپیوتر) -- کنگره ها ,منطق کامپیوتری -- کنگره ها , هوش مصنوعی-- کنگره‌ها

رده :
QA
76
.
9
.
T46
2015
E-Book
,

340. Theory and formal methods of computing 94

پدیدآورنده :

کتابخانه: کتابخانه مرکزی و مرکز اسناد و انتشارات دانشگاه تبریز (آذربایجان شرقی)

موضوع : Computer science--Congresses,Formal methods (Computer science)--Congresses

رده :
QA75
.
5
.
T525
1995